<body>
Classes for analysing and verifying automata properties are here.
</body>